You have chosen Symbolic Reasoning, Elements of Intuitionism (2nd ed) and Symbolic Reasoning.
All three must be different; choose another text.